大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Distributed Computing and Networking [electronic resource] : 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings

0
索取号：
作者：Aguilera、 Marcos K.、Yu、 Haifeng.、Vaidya、 Nitin H.、Srinivasan、 Vikram.、Choudhury、 Romit Roy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Grid and Distributed Computing, Control and Automation [electronic resource] : International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

0
索取号：
作者：Kim、 Tai-hoon.、Yau、 Stephen S.、Gervasi、 Osvaldo.、Kang、 Byeong-Ho.、Stoica、 Adrian.、艢l臋zak、 Dominik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Swarm, Evolutionary, and Memetic Computing [electronic resource] : First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010. Proceedings

0
索取号：
作者：Panigrahi、 Bijaya Ketan.、Das、 Swagatam.、Suganthan、 Ponnuthurai Nagaratnam.、Dash、 Subhransu Sekhar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Transactions on Computational Science X [electronic resource] : Special Issue on Security in Computing, Part I

0
索取号：
作者：Gavrilova、 Marina L.、Tan、 C. J. Kenneth.、Moreno、 Edward David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Sensor Networks with IEEE 802.15.4 Systems [electronic resource] : Distributed Processing, MAC, and Connectivity

0
索取号：
作者：Buratti、 Chiara.、Martal貌、 Marco.、Ferrari、 Gianluigi.、Verdone、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithmic Foundations of Robotics IX [electronic resource] : Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics

0
索取号：
作者：Hsu、 David.、Isler、 Volkan.、Latombe、 Jean-Claude.、Lin、 Ming C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Contextual Computing [electronic resource] : Models and Applications

0
索取号：
作者：Porzel、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Extremal Combinatorics [electronic resource] : With Applications in Computer Science

0
索取号：
作者：Jukna、 Stasys.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Service-Oriented Computing [electronic resource] : 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings

0
索取号：
作者：Maglio、 Paul P.、Weske、 Mathias.、Yang、 Jian.、Fantinato、 Marcelo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Foundations of Algebraic Specification and Formal Software Development [electronic resource]

0
索取号：
作者：Sannella、 Donald.、Tarlecki、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010. Proceedings, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammoud、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part III

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammound、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 鈥ĥcember 1, 2010, Proceedings, Part II

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammound、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Culture and Computing [electronic resource] : Computing and Communication for Crosscultural Interaction

0
索取号：
作者：Ishida、 Toru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Graph Theoretic Concepts in Computer Science [electronic resource] : 36th International Workshop, WG 2010, Zar贸s, Crete, Greece, June 28-30, 2010 Revised Papers

0
索取号：
作者：Thilikos、 Dimitrios M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Modelling Autonomic Communication Environments [electronic resource] : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings

0
索取号：
作者：Brennan、 Rob.、Fleck、 Joel.、Meer、 Sven.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.